1.
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
by Poernomo, Iman, Crossley, J...
ISBN: 9781441920140
List Price: $99.00
4.
Nine Chapters on the Mathematical Art : Companion and Commentary
by Kangshen, Shen, Crossley, J...
ISBN: 9787030061010
OUT OF STOCK
See Availability on Amazon5.
Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday
by Crossley, John N., Remmel, ...
ISBN: 9781461267089
OUT OF STOCK
See Availability on Amazon7.
Chinese Mathematics: A Concise History
by Yan, L., Shiran, Du, Crossl...
ISBN: 9780198581819
List Price: $55.00